UML based Formal Model of Smart Transformer Power System
نویسندگان
چکیده
Recently many significant improvements have been done in traditionally power system. But still a lot of work is needed in traditional power system to mend many challenges. We propose formal method based on subnet model for smart power system. Formal method is mathematics based technique that is used to develop, specify and verify model in a systematic manner. It involve components i.e., power plant, smart grid, transformer and smart meters. Power plant produces electricity and then distributes it to the smart grid. Smart grid generates electricity to transformers and then transformers transfer electricity to smart meters. Smart transformers and smart meters are deployed inform of subnets that increase the energy efficiency of smart power system. In this paper our main focus is on two components of smart power system that is transformers and smart meters. Graph theory is used for the semi-formal representation of model. In this paper we present system requirements through UML use case diagrams that are used to describe actions of system and then real topology is transferred into model topology in graph theory that is used to represent the structure of system. Mathematical technique and notation based formal method approaches are used for describing and analyzing the system. VDM-SL formal method language is used for formal specification and VDM toolbox is used for the verification and
منابع مشابه
Power Auto-transformer Mechanical Faults Diagnosis Using Finite Element based FRA
Frequency response analysis (FRA) is a sensitive method established for testing the mechanical integrity of transformers. However, interpretation of FRA signature still needs expert opinions and there is no FRA interpretation code generally accepted. Various mechanical faults with different extents on power transformers are required to aid FRA interpretation. To address this challenge, in...
متن کاملWind Turbine Transformer Optimum Design Assuming a 3D Wound Core
A wind turbine transformer (WTT) is designed using a 3D wound core while the transformer’s total owning cost (TOC) and its inrush current performance realized as the two objective functions in a multi-objective optimization process. Multi-objective genetic algorithm is utilized to derive Pareto optimal solutions. The effects of inrush current improvement on other operating and design parameters...
متن کاملReliability Model of Power Transformer with ONAN Cooling
Reliability of a power system is considerably influenced by its equipments. Power transformers are one of the most critical and expensive equipments of a power system and their proper functions are vital for the substations and utilities. Therefore, reliability model of power transformer is very important in the risk assessment of the engineering systems. This model shows the characteristic...
متن کاملArtificial Intelligence Based Approach for Identification of Current Transformer Saturation from Faults in Power Transformers
Protection systems have vital role in network reliability in short circuit mode and proper operating for relays. Current transformer often in transient and saturation under short circuit mode causes mal-operation of relays which will have undesirable effects. Therefore, proper and quick identification of Current transformer saturation is so important. In this paper, an Artificial Neural Network...
متن کاملInternal Protection of Transformer Windings Against Transeint Surges Using ZnO Varistors
Power system overvoltages due to switching, lightning and other disturbances are the main problem for designers of the power transformers. Once some frequencies of the incoming surges match with some of the natural frequencies of transformer winding, the resonance phenomenon is expected in transformer winding. The resonant overvoltages may destroy the insulation between turns and cause to insul...
متن کامل